linear programming theorem